isbell conjugacy
Kan extension
https://en.wikipedia.org/wiki/Internal_category